• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۵۵ پاسخ غیر تکراری از ۵۵ پاسخ تکراری در مدت زمان ۰,۴۷ ثانیه یافت شد.

41. Semantics and algebraic specification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

رده :

42. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by Neil D. Jones

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
94

43. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by Neil D. Jones

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics

رده :
QA
1
.
L4
v
.
94

44. Semantics for concurrency

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Parallel programming (Computer science ► Programming languages (Electronic computers)- Semantics

رده :
S471

45. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses

رده :
QA76
.
642
.
I56
1990

46. Semantics of type theory : correctness, Completeness and independence results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Thomas Streicher

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory

رده :
QA
76
.
7
.
S85

47. Semantics of type theory : correctness, completeness, and independence results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / Thomas Streicher

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory

رده :
QA76
.
7
.
S82
1991

48. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by E. Engeler

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
1
.
L4
v
.
188

49. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / edited by E. Engeler

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses

رده :
QA
76
.
7
.
S9
1971

50. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

51. The Logic of Partial Information

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: by Areski Nait Abdallah.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
7
B937
1995

52. The logic of partial information

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Nait Abdallah, Areski

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N35
1995

53. The logic of partial information

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Areski Nait Abdallah

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N3

54. Towards a formal description of Ada

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by D. Bjorner and O.N. Oest

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
L4
v
.
98

55. Towards a formal description of Ada

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by D. Bjørner and O.N. Oest.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
73
.
A35
E358
1980
  • »
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال